Von Neumann bicommutant theorem